Hoxa3<D3> MGI:2388565 http://identifiers.org/mgd/MGI:2388565 targeted mutation 2, Mario R Capecchi Hoxa3<tm2(Hoxd3)Mrc> Hoxa3-